
package instrumentation;



import java.util.HashMap;
import java.util.Map;
import java.util.Set;



public class ConditionSwitch extends Condition {

	private static final long serialVersionUID = -1921136469085209917L;
	private final Map<Integer, Integer> cases = new HashMap<Integer, Integer>();
	private Integer defaultCase;
	ConditionClass clazz;
	public ConditionSwitch(int switchCaseId, Value v1,DataType dataType,DataUse use) {
		super(switchCaseId,v1,dataType,use);
	}


	void setDefaultCase(Integer defaultCase) {
		this.defaultCase = defaultCase;
	}

	public Integer getDefaultCase() {
		return defaultCase;
	}

	void addCase(Integer branch,Integer value ) {
		cases.put(branch,value );
	}

	public Map<Integer, Integer> getCases() {
		return cases;
	}

	public Set<Integer> getCaseValues() {
		return cases.keySet();
	}

}
